Приходится стараться быть в курсе.
Теория групп, алгебры, категории и функциональное программирование - перекладывание ООП на "плечи" компилятора и усложнение сложности. Заманчиво. Но это уже выходит за рамки и математики и программирования.
...с одной стороны это статьи где вам объяснят что монада это моноид в категории эндофункторов, и что если
(
Read more... )